From: Stephane Glondu <steph@glondu.net>
Date: Fri, 4 Sep 2020 03:57:11 +0000 (+0200)
Subject: Re-enable most of tool-debugger tests
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1~1^2~16
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=7eb10ad38158c748d21d0c9a06f6411eda00336b;p=ocaml.git

Re-enable most of tool-debugger tests
---

diff --git a/debian/rules b/debian/rules
index 0c39a4a0..5f92738d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -266,10 +266,8 @@ override_dh_auto_test:
 ifeq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
 	: # tries to connect the net
 	rm -f testsuite/tests/lib-threads/sockets.*
-	: # FIXME: the following tests fail, we temporarily disable them
-	rm -rf testsuite/tests/tool-debugger/basic/
+	: # FIXME: the following test fails, we temporarily disable it
 	rm -rf testsuite/tests/tool-debugger/find-artifacts/
-	rm -rf testsuite/tests/tool-debugger/no_debug_event/
 ifneq (,$(filter $(DEB_BUILD_ARCH),$(SLOW_ARCHITECTURES)))
 	rm -f testsuite/tests/misc-unsafe/almabench.ml
 endif